Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
231	Playing Pushdown Parity Games in a Hurry Wladimir Fridman Martin Zimmermann Chair of Computer Science 7 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-07-12 10:32:22 Graph theory Combinatorics Finite model theory Game theory Parity game Models of computation End Determinacy Graph Mathematics Theoretical computer science Automata theory
232	Microsoft Word - FO D06 Inspection and Assessment Report For Dry Cargo Ships Rev 10+ Add to Reading List Source URL: site.rightship.com Language: English - Date: 2013-12-17 18:50:55 FO Finite model theory
233	PDF Document Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:11:17 Quantification Finite model theory Syntactic categories Predicate logic Semantics HO Noun phrase Determiner FO Syntax Theoretical computer science Linguistics
234	ICASE INSTANTIATION AND DECISION PROCEDURES FOR CERTAIN CLASSES OF QUANTIFIED SET-THEORETIC FORMULAE - -- Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 11:08:27 FO Finite model theory Word square Four-square cipher Mathematics Mathematical analysis Calculus
235	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science
236	W I DE WO LD OF BY SUSAN JARVIS Add to Reading List Source URL: www.bobhowe.com Language: English - Date: 2012-08-31 08:28:13 FO Finite model theory My Life
237	O u r Pe r fo r m a n ce - t a k i n g a c t ion on c l i m ate c h a n g e Bridge over Elwood Canal O u r Pe r fo r m a n ce - t a k i n g a c t ion on c l i m ate c h a n g e Add to Reading List Source URL: www.portphillip.vic.gov.au Language: English - Date: 2014-10-30 06:31:00 FO Finite model theory English phonology
238	PDF Document Add to Reading List Source URL: www.vra.asn.au Language: English - Date: 2013-04-02 01:02:14 FO Finite model theory
239	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-11-27 02:42:43 Computer science Tree automaton I/O Automaton Finite-state machine Message Passing Interface Model checking Automata theory Computing Theoretical computer science
240	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science

UPDATE